Manually set server \code{token} to state \code{AVAILABLE}.
